Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·15h·
Discuss: DEV
📝ABNF Parsing
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
GHC 9.14.1-Alpha1
blog.haskell.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·2d
💎Information Crystallography
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·4d
⬆️Lambda Lifting
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Chicken Scheme internals: the garbage collector
more-magic.net·1d·
Discuss: Hacker News
🧠Separation Logic
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Status Update: August 2025
joshleeb.com·3d
🧩WASM Components
Sheafification - The optimal path to mathematical mastery
sheafification.com·39m·
Discuss: Hacker News
🕸️Algebraic Topology